-
1 two-valued algebra
Большой англо-русский и русско-английский словарь > two-valued algebra
-
2 two-valued algebra
Математика: двузначная алгебра -
3 two-valued algebra
мат. -
4 two-valued
двузначный property of being two-valued ≈ матем. двузначность two-valued predicate calculus ≈ двузначное [классическое] исчисление предикатов two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление - two-valued algebra - two-valued homomorphism - two-valued logic - two-valued measure - two-valued model - two-valued population - two-valued property - two-valued representation - two-valued table - two-valued theor (логика) двузначный (о логике) ;
имеющий истинностные значения "истина" и "ложь"Большой англо-русский и русско-английский словарь > two-valued
-
5 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
6 двузначная алгебра
Большой англо-русский и русско-английский словарь > двузначная алгебра
-
7 representation
1) изображение2) отображение; представление•- completely irreducible representation - completely reduced representation - completely reducible representation - discrete representation - finitely related representation - identity representation - locally constant representation - locally faithful representation - strongly rational representation - totally reducible representation -
8 homomorphism
гомоморфизм, гомоморфное отображение- locally nilpotent homomorphism - locally rigid homomorphism - lower complete homomorphism - lower semicomplete homomorphism - monic homomorphism - retractive homomorphism -
9 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
10 field
1) поле || полевой2) магн. наряжённость поля3) участок; область5) полигр. фон; грунт6) горн. прииск; месторождение7) горн. промысел || промысловый8) матем. тело; поле10) полевой; эксплуатационный•- algebraically complete field - axisymmetric field - base field - basic field - completely valuated field - field of algebraic numbers - fully ordered field - fully ramified field - gross field - guiding magnetic field - linear transformation field - locally compact ultrametric field - locally finite field - purely unseparable field - strictly monotone field - strongly isomorphic field - topologized algebraic field - totally imaginary field - totally ramified field - totally real fieldfield with a valuation — поле с оценкой, поле с нормой; метризованное поле
См. также в других словарях:
Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… … Wikipedia
Vector-valued differential form — In mathematics, a vector valued differential form on a manifold M is a differential form on M with values in a vector space V . More generally, it is a differential form with values in some vector bundle E over M . Ordinary differential forms can … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Many-valued logic — In logic, a many valued logic (also multi or multiple valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle s logical calculus, there were only two possible values (i.e., true and… … Wikipedia
Multi-valued logic — Multi valued logics are logical calculi in which there are more than two truth values. Traditionally, logical calculi are two valued that is, there are only two possible truth values (i.e. truth and falsehood) for any proposition to take. An… … Wikipedia
Information algebra — Classical information theory goes back to Claude Shannon. It is a theory of information transmission, looking at communication and storage. However, it has not been considered so far that information comes from different sources and that it is… … Wikipedia
Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… … Wikipedia